منابع مشابه
Contraction checking in graphs on surfaces
The Contraction Checking problem asks, given two graphs H and G as input, whether H can be obtained from G by a sequence of edge contractions. Contraction Checking remains NP-complete, even when H is fixed. We show that this is not the case when G is embeddable in a surface of fixed Euler genus. In particular, we give an algorithm that solves Contraction Checking in f(h, g) · |V (G)|3 steps, wh...
متن کاملReal-Time Model Checking on Secondary Storage
In this paper, we consider priced-timed automata based exploration for resource-optimal scheduling. Resource-optimal scheduling problems can be seen as an application of real-time model checking in priced domains. State spaces for large problems can easily go beyond the main memory capacity. In this paper, we propose the use of secondary storage devices such as harddisk to store the generated s...
متن کاملTesting Analyticity on Circles
Globevnik [G] answered the question in the affirmative for rotation invariant families. Agranovsky and Globevnik [AG] resolved the question for families of circles when f is a rational or real-analytic functions of two real variables. Ehrenpreis [E2] independently found solution for the circles of constant radii with centers on a line and real-analytic functions. In [T] we obtain the affirmativ...
متن کاملReal Analyticity of Hausdorff Dimension for Expanding Rational Semigroups
We consider the dynamics of expanding semigroups generated by finitely many rational maps on the Riemann sphere. We show that for an analytic family of such semigroups, the Bowen parameter function is real-analytic and plurisubharmonic. Combining this with a result obtained by the first author, we show that if for each semigroup of such an analytic family of expanding semigroups satisfies the o...
متن کاملWhy Real Analyticity Is Important in Control Theory
In the recent development of nonlinear control theory, properties of real analytic functions and maps, and their associated classes of sets |i.e. analytic, semianalytic and subanalytic sets| have come to play an increasingly important role. The purpose of this survey is to explain why this is so, by outlining some results where analyticity matters, and by giving general reasons why it ought to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal de Mathématiques Pures et Appliquées
سال: 2020
ISSN: 0021-7824
DOI: 10.1016/j.matpur.2019.05.008